My first fifteen compilers (2019)
๐ฌNanopasses
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท18h
๐Log Parsers
Flag this post
Smart Handling Of Reset Domain Crossings To Non-Resettable Flip-Flops
semiengineering.comยท1d
๐ขBit Manipulation
Flag this post
From Lossy to Lossless Reasoning
๐ชRecursive Descent
Flag this post
Understanding Primary Keys in Relational Databases: A Key to Data Integrity and Fast Lookups
๐๏ธDatabase Engines
Flag this post
Introducing Project Telos: Modeling, Measuring, and Intervening on Goal-directed Behavior in AI Systems
lesswrong.comยท13h
๐ญErlang OTP
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท22h
๐Stack Allocation
Flag this post
Master Rust Pattern Matching: Build Safer, More Expressive Code with Advanced Techniques
๐ฏPattern Matching
Flag this post
Dependency Management in Database Design (aka handling import cycles in large Go projects)
๐ฆDependency Analysis
Flag this post
FinAuditing: A Financial Taxonomy-Structured Multi-Document Benchmark forEvaluating LLMs
๐ฎLanguage Ergonomics
Flag this post
When to Use Claude Code Skills vs Commands vs Agents
danielmiessler.comยท22h
๐ฎLanguage Ergonomics
Flag this post
Nim 2.2.6
๐ฌError Messages
Flag this post
Borrow checker says โNoโ! An error that scares me every single time!
polymonster.co.ukยท22h
๐Rust Borrowing
Flag this post
Symbolic Alchemy: Transmuting Linear Solvers into Lightning Speed by Arvind Sundararajan
๐งฉConstraint Solvers
Flag this post
Microsoft C++ Team at CppCon 2025: Trip Report
devblogs.microsoft.comยท7h
๐Interactive Debuggers
Flag this post
Scalable Static Analysis Framework โ hardening large C++ codebases (LLVM/Apple)
๐ชProgram Slicing
Flag this post
Advanced Threat Protection (ATP): An Ultimate Guide for Modern SOCs
vmray.comยท7h
๐ก๏ธSecurity Type Systems
Flag this post
Java Generics and Collections โข Maurice Naftalin & Stuart Marks โข GOTO 2025
youtube.comยท1d
๐Go Generics
Flag this post
Loading...Loading more...